Valikko
Yleiskuvaus
Postdoktorin tutkimuslogiikka ja koneoppiminen - Helsingin yliopisto - Helsinki, Suomi
Tutkija
Työtehtävän kuvaus
Postdoc-tehtävä Helsingin yliopistossa, jossa keskitytään logiikan ja koneoppimisen yhdistämiseen ja automatisoitujen päättelytekniikoiden soveltamiseen induktiivisen logiikkapohjan skaalaamiseen.
Yritystiedot
Tietoa
Meidät tunnetaan monitieteisyydestä. Uskomme tieteidenvälisen tutkimuksen ja rajoja rikkovan yhteistyön voimaan löytää ratkaisuja ja luoda toivoa paremman ja kestävämmän tulevaisuuden puolesta. Meitä yhdistävät arvomme totuus, sivistys, vapaus ja yhteisöllisyys, sekä halu tehdä merkityksellisiä töitä. Työn tekemisen kulttuurimme on yhteisöllistä, pohjautuen vahvaan asiantuntijuuteen ja rohkean ajattelun voimaan. Valitse moniääninen ja tasa-arvoinen yhteisö, jossa jokainen voi löytää oman tapansa vaikuttaa – maailman parhaaksi.
Data shown is based on historical job postings from our database.
Työn yksityiskohdat
Vaatimukset
- Tohtorintutkinto tietojenkäsittelytieteestä tai vastaavalta alalta
- Kokemus loogisesta päättelystä
- Tutkimus SAT/ASP/SMT/MaxSAT
- Erinomaiset englannin kielen taidot
Vastuut
- Suorittaa perustutkimusta
- Ohjata opiskelijoita
- Soveltaa automaattista päättelyä
Toimiala:
Tutkimus
Koulutustaso
Ammattikorkeakoulu
Samankaltaiset työpaikat
Lisää työpaikkoja, jotka vastaavat kiinnostustasi.
Yleiskuvaus
Työtehtävän kuvaus
Postdoc-tehtävä Helsingin yliopistossa, jossa keskitytään logiikan ja koneoppimisen yhdistämiseen ja automatisoitujen päättelytekniikoiden soveltamiseen induktiivisen logiikkapohjan skaalaamiseen.
Yritystiedot
Helsingin yliopisto
Tietoa
Meidät tunnetaan monitieteisyydestä. Uskomme tieteidenvälisen tutkimuksen ja rajoja rikkovan yhteistyön voimaan löytää ratkaisuja ja luoda toivoa paremman ja kestävämmän tulevaisuuden puolesta. Meitä yhdistävät arvomme totuus, sivistys, vapaus ja yhteisöllisyys, sekä halu tehdä merkityksellisiä töitä. Työn tekemisen kulttuurimme on yhteisöllistä, pohjautuen vahvaan asiantuntijuuteen ja rohkean ajattelun voimaan. Valitse moniääninen ja tasa-arvoinen yhteisö, jossa jokainen voi löytää oman tapansa vaikuttaa – maailman parhaaksi.
Data shown is based on historical job postings from our database.
Työn yksityiskohdat
Vaatimukset
- Tohtorintutkinto tietojenkäsittelytieteestä tai vastaavalta alalta
- Kokemus loogisesta päättelystä
- Tutkimus SAT/ASP/SMT/MaxSAT
- Erinomaiset englannin kielen taidot
Vastuut
- Suorittaa perustutkimusta
- Ohjata opiskelijoita
- Soveltaa automaattista päättelyä
Toimiala:
Tutkimus
Koulutustaso
Ammattikorkeakoulu